Buy Used and New Makarius Wenzel Books

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings: 5674 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642033582

Format: Paperback (517 pages)
Publisher: Springer
Published: 04 Aug 2009

Save for later

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642313738

Format: Paperback (473 pages)
Publisher: Springer
Published: 25 Jun 2012

Save for later